Nici nu aş mai zice nimic despre corectitudinea aplicaţiilor WEB doar pentru faptul că acestea alocă resurse.
Ce s-a întâmpla dacă aplicaţia este incorectă şi face transferuri de sume cu mult mai mari decât cele autorizate de utilizatori? Dar dacă sumele ar fi mutate în cu totul alt cont decât cel indicat?
Ce s-ar întâmpla dacă s-ar aloca două bilete pentru acelaş loc din sala de teatru?
Cum ar sta lucrurle dacă nu s-ar ţine cont la un vagon de dormit la alocarea de bilete plătite dacă este femeie sau dacă este bărbat cel care cumpără biletul?
Nu vreau să continui, căci dacă acum 50 de ani corectitudinea era importantă, dar încă se mai dregea busuiocul dacă un salariu era greşit calculat, acum despăgubirile sunt atât de mari dacă aplicaţia funcţionează incorect, încât aplicaţia îl duce la sapă de lemn pe investitor. în opinia mea, aplicaţia WEB trevuie să fie corectă. Corectitudinea aplicaţiilor WEB este evidenţiată prin testare.
Se consideră că programul are asociată o arborescenţă cu NFW frunze, ceea ce corespunde punctelor de ieşire din aplicaţie şi nu oricum, ci o ieşire de succes din punct de vedere al parcurgerii traseelor, finalul fiind controlat de aplicaţie. Dacă în specificaţii sunt seturi de adte de test diferite care acoperă NTF numărul frunzelor testate, situaţia ideală este ca nivelul corectitudinii COR dat de relaţia
COR = NTF / NFW să fie egal cu 1. Ar însemna că a fost testată întreaga arborescenţă. Realitatea este un pic alta, căci fineţea prelucrărilor impune ca şi dezvoltatorul să identifice cazuri neincluse în specificaţii sau chiar utilizatorii să semnaleze aspecte care obligatoriu trebuie luate în considerare. Se va obţine un număr de seturi de date de test modificat NTFM şi structura aplicaţiei WEB îşi va mări numărul de frunze NFW, iar corectitudinea pentru aplicaţia WEB actualizată CORM va fi
CORM = NTFM / NFWM.
Cine nu face testarea ca lumea nici să nu se mire că aplicaţia sa WEB este bâtuită de erori, nu numai în execuşie, dar mai ales de conţinut digital. Este supărător să vedem o poză din Sinaia şi sub ea să se spună că este de la Caracal, doar că nu s-a făcut o banală verificare.
10 octombrie 2019